1. An invitation to applied category theory :
پدیدآورنده : Brendan Fong, David I. Spivak.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
رده :
QA9
.
25
.
F66
2019
2. An invitation to applied category theory :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;
3. Berechenbarkeit, Komplexität, Logik :
پدیدآورنده : Egon Börger.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions.,Computational complexity.,Logic, Symbolic and mathematical.
رده :
QA9
.
56
E366
1992
4. Computability: Computable Functions, Logic, And The Foundations Of Mathematics
پدیدآورنده : \ Richard L. Epstein, Walter A. Carnielli
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : توابع محاسبه‌پذیر,منطق ریاضی,Computable functions, Logic, Symbolic and mathematical
رده :
QA
9
,.
59
.
E67
5. Computability and logic
پدیدآورنده : Boolos, George.
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical.
رده :
QA
9
.
59
.
B6C6
6. Computability and logic
پدیدآورنده :
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA9
.
59
.
B66
2002
7. Computability and logic
پدیدآورنده :
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
E-BOOK
8. Computability and logic
پدیدآورنده : Cohen, Daniel E.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
C64
1987
9. Computability and logic /
پدیدآورنده : Daniel E. Cohen
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions,Logic, Symbolic and mathematical
رده :
QA9
.
59
.
C64
1987
10. Computability and logic
پدیدآورنده : Boolos, George S., 0491-6991
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66C6
11. Computability and logic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computable functions. ; Recursive functions. ; Logic, Symbolic and mathematical. ;
12. Computability and logic
پدیدآورنده :
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA9
.
59
.
B66
2002
13. Computability and logic
پدیدآورنده : Boolos, George S., 0491-6991
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66C6
1989
14. Computability and logic
پدیدآورنده : Boolos, George
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical,، Computable functions
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
15. Computability, complexity, logic
پدیدآورنده : Borger, Egon, 6491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B6713
16. Computability, complexity, logic
پدیدآورنده : Borger, E.)Egon(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B6713
1989
17. Computability : computable functions, logic, and the foundations of mathematics
پدیدآورنده : Epstein, Richard L.
موضوع : ، Computable functions,، Logic, Symbolic and mathematical,، Godel's theorem
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
18. Computability : computable functions, logic, and the foundations of mathematics
پدیدآورنده : Epstein, Richard L., 7491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
E67
1989
19. Computability : computable functions, logic, and the foundations of mathematics
پدیدآورنده : Epstein, Richard L.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computable functions, Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
E67
20. Discrete structures, logic, and computability
پدیدآورنده : / James L. Hein
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer science,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions
رده :
QA76
.
H383
1995
